namespace Picnic.Spec
{
	/// <summary>
	/// Provides a set of statement validation result kinds.
	/// </summary>
	public enum StatementValidationResultKind
	{
		/// <summary>
		/// Statetement was satisfied.
		/// </summary>
		Satisfied,

		/// <summary>
		/// Statement was passed.
		/// </summary>
		Passed,

		/// <summary>
		/// Statement was failed.
		/// </summary>
		Failed
	}
}